This is a private note on one of the structural set theories called SEAR (Sets, Elements, and Relations), originally introduced by Schulman on nLab. The aim of this note is to rearrange the original definition of SEAR and to create another version of SEAR called SEFAR (Sets, Elements, Functions, and Relations). The main difference between SEAR and SEFAR is that SEFAR has a function symbol as a primitive symbol.