Several basic definitions for ebjs